$\forall$$A$:es\_realizer\{i:l\}. 
\\[0ex]($\uparrow$Rplus?($A$))
\\[0ex]$\Rightarrow$ guard(((R{-}size(Rplus{-}left($A$)) $<$ R{-}size($A$)) $\wedge$ (R{-}size(Rplus{-}right($A$)) $<$ R{-}size($A$))))